nonclassical logic

См. также в других словарях:

• logic, philosophy of — Philosophical study of the nature and scope of logic. Examples of questions raised in the philosophy of logic are: In virtue of what features of reality are the laws of logic true? ; How do we know the truths of logic? ; and Could the laws of… …   Universalium

• logic, history of — Introduction       the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic       There was a medieval tradition according to which the Greek philosopher …   Universalium

• Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… …   Wikipedia

• Algebraic logic — In mathematical logic, algebraic logic formalizes logic using the methods of abstract algebra.Logics as models of algebrasAlgebraic logic treats logics as models (interpretations) of certain algebraic structures, specifically as models of bounded …   Wikipedia

• Deviant logic — Philosopher Susan Haack uses the term deviant logic to describe certain non classical systems of logic. In these logics, the set of well formed formulas generated equals the set of well formed formulas generated by classical logic. the set of… …   Wikipedia

• Smooth infinitesimal analysis — is a mathematically rigorous reformulation of the calculus in terms of infinitesimals. Based on the ideas of F. W. Lawvere and employing the methods of category theory, it views all functions as being continuous and incapable of being expressed… …   Wikipedia

• Dedekind–MacNeille completion — The Hasse diagram of a partially ordered set (left) and its Dedekind–MacNeille completion (right). In order theoretic mathematics, the Dedekind–MacNeille completion of a partially ordered set (also called the completion by cuts or normal… …   Wikipedia

• Théorie des catégories — La théorie des catégories étudie les structures mathématiques et les relations qu elles entretiennent. Les catégories sont utilisées dans la plupart des branches mathématiques et dans certains secteurs de l informatique théorique et en… …   Wikipédia en Français

• Dialectic — The School of Athens, by Raphael. Dialectic (also dialectics and the dialectical method) is a method of argument for resolving disagreement that has been central to Indic and European philosophy since antiquity. The word dialectic originated in… …   Wikipedia

• Mereology — In philosophy and mathematical logic, mereology (from the Greek μέρος, root: μερε(σ) , part and the suffix logy study, discussion, science ) treats parts and the wholes they form. Whereas set theory is founded on the membership relation between a …   Wikipedia

• Cut-elimination — Der Gentzensche Hauptsatz oder Schnittsatz ist ein Satz der mathematischen Logik, der besagt, dass die Schnittregel in Gentzentypkalkülen gültig ist. Er ist nach Gerhard Gentzen benannt, der ihn 1934 aufstellte und bewies. Inhaltsverzeichnis 1… …   Deutsch Wikipedia